1: (* #
     where e implements J,..*)
l
